Habilitationen

Forschungsbericht : 1990-1992

• Gordeew, L. (Dr. rer. nat.): Informatik. "Quasiordinals and proof theory" (1992).

HOME SUCHEN KONTAKT LINKS